compact open subgroup

[数] 紧开子群

热门查询